A Logical Generalization of Formal Concept Analysis
نویسندگان
چکیده
We propose a generalization of Formal Concept Analysis (FCA) in which sets of attributes are replaced by expressions of an almost arbitrary logic. We prove that all FCA can be reconstructed on this basis. We show that from any logic that is used in place of sets of attributes can be derived a contextualized logic that takes into account the formal context and that is isomorphic to the concept lattice. We then justify the generalization of FCA compared with existing extensions and in the perspective of its application to information systems.
منابع مشابه
A generalization of the Chen-Wu duality into quantale-valued setting
With the unit interval [0,1] as the truth value table, Chen and Wupresented the concept of possibility computation over dcpos.Indeed, every possibility computation can be considered as a[0,1]-valued Scott open set on a dcpo. The aim of this paper is tostudy Chen-Wu's duality on quantale-valued setting. For clarity,with a commutative unital quantale $L$ as the truth value table, weintroduce a c...
متن کاملA new branch of the logical algebra: UP-algebras
In this paper, we introduce a new algebraic structure, called a UP-algebra (UP means the University of Phayao) and a concept of UP-ideals, UP-subalgebras, congruences and UP-homomorphisms in UP-algebras, and investigated some related properties of them. We also describe connections between UP-ideals, UP-subalgebras, congruences and UP-homomorphisms, and show that the notion of UP-algebras is a ...
متن کاملAdaptation Knowledge Acquisition in a CBR System
In a case-based reasoning system, adaptation is a complicated task since it requires domain-specific knowledge, which is generally difficult to define. To acquire such knowledge, we propose a semi-automatic approach based on Formal Concept Analysis (FCA) techniques. We use Logical Concept Analysis (LCA), a generalization of FCA, to extract adaptation conditions that enhance the retrieval and ad...
متن کاملLogical Scaling in Formal Concept Analysis
Logical scaling is a new method to transform data matrices which are based on object-attribute-value-relationships into data matrices from which conceptual hierarchies can be explored. The derivation of concept lattices is determined by terminologies expressed in a formal-logical language.
متن کاملFormal Concept Analysis support for Conceptual Abstraction in Database Reengineering
ion in Database Reengineering Carmen Hernández, Félix Prieto, Miguel A. Laguna, Yania Crespo Computer Science Dept., Universidad de Valladolid, Spain Phone:+(34)983423670; Fax: +(34)983423671 {chernan, felix, mlaguna, yania}@infor.uva.es Abstract. This paper presents a proposal that aims to cover some tasks required in the Database Reengineering process, mainly in the Conceptual Abstraction pha...
متن کامل